#include <stdio.h>
#include <stdlib.h>

int main (int argc, char** argv) {
	FILE* f = fopen("decompressed.bin","rb");
	if ( !f ) exit(1);

	unsigned int buf[2];
	unsigned int totalcount = 0;
	while (!feof(f)) {
		fread(buf, sizeof(unsigned int), 2, f);
		totalcount += 1 + (buf[0]>>24);
	}
	printf( "total count = %d\n", totalcount );
}
